MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          cond_take_l_n_xs(ConsL(x12,x14),0()) -> Nil()
          cond_take_l_n_xs(ConsL(x4,zipwith_l_f_xs_ys(x3,x2)),S(x1)) -> Cons(x4
                                                                            ,cond_take_l_n_xs(zipwith_l_f_xs_ys#1(x3
                                                                                                                 ,x2
                                                                                                                 ,bot[0]())
                                                                                             ,x1))
          cond_take_l_n_xs(ConsL(0(),fibs_2()),S(x1)) -> Cons(0(),cond_take_l_n_xs(fibs_2#1(bot[0]()),x1))
          cond_zipwith_l_f_xs_ys(ConsL(x2,x1),fibs_2()) -> cond_zipwith_l_f_xs_ys_1(fibs_2#1(bot[3]()),x2,x1)
          cond_zipwith_l_f_xs_ys(ConsL(x4,x3),zipwith_l_f_xs_ys(x2,x1)) ->
            cond_zipwith_l_f_xs_ys_1(zipwith_l_f_xs_ys#1(x2,x1,bot[3]()),x4,x3)
          cond_zipwith_l_f_xs_ys_1(ConsL(x4,x3),x2,x1) -> ConsL(plus#2(x2,x4),zipwith_l#3(x1,x3))
          fibs_2#1(x3) -> ConsL(S(0()),zipwith_l#3(fibs(),fibs_2()))
          main(x12) -> cond_take_l_n_xs(ConsL(0(),fibs_2()),x12)
          plus#2(0(),x12) -> x12
          plus#2(S(x4),x2) -> S(plus#2(x4,x2))
          zipwith_l#3(x8,x4) -> zipwith_l_f_xs_ys(x8,x4)
          zipwith_l_f_xs_ys#1(fibs(),x5,x3) -> cond_zipwith_l_f_xs_ys(ConsL(0(),fibs_2()),x5)
          zipwith_l_f_xs_ys#1(fibs_2(),x2,x1) -> cond_zipwith_l_f_xs_ys(fibs_2#1(bot[4]()),x2)
          zipwith_l_f_xs_ys#1(zipwith_l_f_xs_ys(x4,x3),x2,x1) -> cond_zipwith_l_f_xs_ys(zipwith_l_f_xs_ys#1(x4
                                                                                                           ,x3
                                                                                                           ,bot[4]())
                                                                                       ,x2)
      - Signature:
          {cond_take_l_n_xs/2,cond_zipwith_l_f_xs_ys/2,cond_zipwith_l_f_xs_ys_1/3,fibs_2#1/1,main/1,plus#2/2
          ,zipwith_l#3/2,zipwith_l_f_xs_ys#1/3} / {0/0,Cons/2,ConsL/2,Nil/0,S/1,bot[0]/0,bot[3]/0,bot[4]/0,fibs/0
          ,fibs_2/0,zipwith_l_f_xs_ys/2}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {cond_take_l_n_xs,cond_zipwith_l_f_xs_ys
          ,cond_zipwith_l_f_xs_ys_1,fibs_2#1,main,plus#2,zipwith_l#3,zipwith_l_f_xs_ys#1} and constructors {0,Cons
          ,ConsL,Nil,S,bot[0],bot[3],bot[4],fibs,fibs_2,zipwith_l_f_xs_ys}
  + Applied Processor:
      EmptyProcessor
  + Details:
      The problem is still open.
MAYBE